This file was created with JabRef 2.2.
Encoding: ISO8859_1

@CONFERENCE{Addy91,
  author = {Edward A. Addy},
  title = {A Case Study on Isolation of Safety-Critical Software},
  booktitle = {COMPASS: Proceedings of the Sixth Annual Conference on Systems Integrity,
	Software Safety, and Process Security},
  year = {1991},
  pages = {75--83},
  address = {Gaithersburg, MD},
  month = {June}
}

@ARTICLE{CSUR-testing,
  author = {W. Richards Adrion and Martha A. Branstad and John C. Cherniavsky},
  title = {Validation, Verification, and Testing of Computer Software},
  journal = {ACM Computing Surveys},
  year = {1982},
  volume = {14},
  pages = {159--192},
  number = {2},
  address = {New York, NY, USA},
  doi = {http://doi.acm.org/10.1145/356876.356879},
  issn = {0360-0300},
  publisher = {ACM Press}
}

@TECHREPORT{Armour93,
  author = {Jody Armour and Watts S. Humphrey},
  title = {Software Product Liability},
  institution = {Software Engineering Institute},
  year = {1993},
  number = {CMU/SEI-93-TR-13},
  month = {August}
}

@BOOK{Baase97,
  title = {A Gift of Fire: Social, Legal, and Ethical Issues in Computing},
  publisher = {Prentice Hall},
  year = {1997},
  author = {Sara Baase}
}

@ARTICLE{Boehm86,
  author = {Barry Boehm},
  title = {A Spiral Model of Software Development and Enhancement},
  journal = {SIGSOFT Softw. Eng. Notes},
  year = {1986},
  volume = {11},
  pages = {14--24},
  number = {4},
  address = {New York, NY, USA},
  doi = {http://doi.acm.org/10.1145/12944.12948},
  issn = {0163-5948},
  publisher = {ACM Press}
}

@BOOK{SWEBOK,
  title = {Software Engineering Body of Knowledge},
  publisher = {The Institute of Electrical and Electronics Engineers Computer Society},
  year = {2004},
  editor = {Alain Abran and James W. Moore},
  author = {Pierre Bourque and Robert Dupuis}
}

@UNPUBLISHED{SCITECH,
  author = {Ruth Hill Bro and Richard L. Field},
  title = {Informational Report To The House Of Delegates: {ABA} Section Of
	Science \& Technology Law},
  note = {American Bar Association},
  month = {June},
  year = {2006},
  url = {http://www.abanet.org/scitech/}
}

@ARTICLE{Brooks87,
  author = {Frederick P. Brooks},
  title = {No Silver Bullet: Essence and Accidents of Software Engineering},
  journal = {Computer},
  year = {1987},
  volume = {20},
  pages = {10--19},
  number = {4},
  address = {Los Alamitos, CA, USA},
  issn = {0018-9162},
  publisher = {IEEE Computer Society Press}
}

@ARTICLE{Cangussu02,
  author = {Joao W. Cangussu and Raymond A. DeCarlo and Aditya P. Mathur},
  title = {A Formal model of the Software Test Process},
  journal = {IEEE Transactions on Software Engineering},
  year = {2002},
  volume = {28},
  pages = {782--796},
  number = {8},
  month = {August}
}

@BOOK{Dobbs01,
  title = {The Law of Torts},
  publisher = {West Group},
  year = {2001},
  author = {Dan B. Dobbs},
  volume = {1-2},
  series = {Practitioner Treatise Series},
  address = {St. Paul, Minnesota}
}

@MISC{Epstein96,
  author = {Richard G. Epstein},
  title = {The Case of the Killer Robot},
  howpublished = {\verb!http://onlineethics.org/cases/robot/robot.html!},
  year = {1998},
  note = {accessed 22 February 2007},
  address = {Canada},
  doi = {http://doi.acm.org/10.1145/191634.191640},
  editor = {Tracey Kuehn},
  issn = {0095-2737},
  publisher = {John Wiley and Sons}
}

@ARTICLE{Fox95,
  author = {Robert Fox},
  title = {Newstrack},
  journal = {Communications of the ACM},
  year = {1995},
  volume = {38},
  pages = {9--10},
  number = {12},
  address = {New York, NY, USA},
  issn = {0001-0782},
  publisher = {ACM Press}
}

@ARTICLE{Graupe78,
  author = {D. Graupe and J. Magnussen and Beex, A.},
  title = {A Microprocessor System for Multifunctional Control of Upper-Limb
	Prostheses via Myoelectric Signal Identification},
  journal = {IEEE Transactions on Automatic Control},
  year = {1978},
  volume = {23},
  pages = {538--544},
  number = {4},
  month = {August},
  editor = {Ed Gosschalk}
}

@TECHREPORT{NASA,
  author = {Frederick Gregory},
  title = {{NASA}-{STD}-8719.13{A}},
  institution = {National Aeronautics and Space Administration},
  year = {1997},
  month = {September},
  url = {http://satc.gsfc.nasa.gov/assure/nss8719_13.html}
}

@ARTICLE{Hamlet92,
  author = {Dick Hamlet},
  title = {Are We Testing for True Reliability?},
  journal = {IEEE Software},
  year = {1992},
  volume = {9},
  pages = {21--27},
  number = {4},
  address = {Los Alamitos, CA, USA},
  doi = {http://dx.doi.org/10.1109/52.143097},
  issn = {0740-7459},
  publisher = {IEEE Computer Society Press}
}

@CONFERENCE{Hurtig94,
  author = {J.K. Hurtig and S. Yurkovich and K.M. Passino and D. Littlejohn},
  title = {Torque Regulation with the General Motors ABS VI Electric Brake System},
  booktitle = {American Control Conference},
  year = {1994},
  volume = {2},
  pages = {1210--1211},
  month = {June/July}
}

@CONFERENCE{Kaner06,
  author = {Cem Kaner},
  title = {Inefficiency and Ineffectiveness of Software Testing: A Key Problem
	in Software Engineering},
  booktitle = {National Defense Industrial Association Workshop: Top 5 Software
	Engineering Problems or Issues Prevalent Within the Defense Industry},
  year = {2006},
  address = {Washington D.C.},
  month = {August}
}

@ARTICLE{Kaner96,
  author = {Cem Kaner},
  title = {Computer Malpractice},
  journal = {Software QA Quarterly},
  year = {1996},
  volume = {3},
  pages = {23},
  number = {4}
}

@ARTICLE{Kaner95,
  author = {Cem Kaner},
  title = {Software Negligence and Testing Coverage},
  journal = {Software QA Quarterly},
  year = {1995},
  volume = {2},
  pages = {18},
  number = {2}
}

@BOOK{Prosser,
  title = {Prosser And Keeton on The Law of Torts},
  publisher = {West Publishing Co.},
  year = {1984},
  editor = {W. Page Keeton},
  author = {W. Page Keeton and Dan B. Dobbs and Robert E. Keeton and David G.
	Owen},
  series = {Hornbook Series},
  edition = {Fifth}
}

@BOOK{Kehoe96,
  title = {{ISO} 9000-3: A Tool for Software Product and Process Improvement},
  publisher = {Springer},
  year = {1996},
  author = {Raymond Kehoe and Alka Jarvis},
  address = {New York, NY}
}

@MISC{Knight00,
  author = {John Knight and Nancy Leveson},
  title = {{ACM} Task Force on Licensing of Software Engineers Working on Safety-Critical
	Software},
  howpublished = {Draft Report},
  month = {July},
  year = {2000},
  organization = {Association of Computing Machinery}
}

@ARTICLE{Knight02,
  author = {John C. Knight and Nancy G. Leveson},
  title = {Should Software Engineers be Licensed?},
  journal = {Communications of the ACM},
  year = {2002},
  volume = {45},
  pages = {87--90},
  number = {11},
  month = {November}
}

@ARTICLE{Lannetti00,
  author = {David W. Lannetti},
  title = {Toward a Revised Definition of 'Product' Under the Restatement (Third)
	of Torts: Products Liability},
  journal = {Business Lawyer},
  year = {2000},
  volume = {55},
  number = {2},
  month = {February}
}

@BOOK{Leveson95,
  title = {Safeware: System Safety and Computers},
  publisher = {Addison-Wesley},
  year = {1995},
  editor = {Helen Goldstein},
  author = {Nancy G. Leveson}
}

@ARTICLE{Leveson93,
  author = {Nancy G. Leveson and Clark S. Turner},
  title = {An Investigation of the Therac-25 Accidents},
  journal = {IEEE Computer},
  year = {1993},
  volume = {26},
  pages = {18-41},
  number = {7},
  address = {Los Alamitos, CA, USA},
  doi = {http://doi.ieeecomputersociety.org/10.1109/MC.1993.274940},
  issn = {0018-9162},
  publisher = {IEEE Computer Society}
}

@ARTICLE{Maisel05,
  author = {William H. Maisel},
  title = {Safety Issues Involving Medical Devices: Implications of Recent Implantable
	Cardioverter-Defibrillator Malfunctions},
  journal = {The Journal of the American Medical Association},
  year = {2005},
  volume = {294},
  pages = {955--958},
  number = {8},
  month = {August}
}

@ARTICLE{Moore03,
  author = {Melody M. Moore},
  title = {A License to Practice Software Engineering},
  journal = {IEEE Software},
  year = {2003},
  volume = {20},
  pages = {112--113},
  number = {3},
  month = {May-June}
}

@ARTICLE{Parnas86,
  author = {David L. Parnas and Paul C. Clements},
  title = {A Rational Design Process: How and Why to Fake It},
  journal = {IEEE Transtions on Software Engineering},
  year = {1986},
  volume = {12},
  pages = {251--257},
  number = {2},
  address = {Piscataway, NJ, USA},
  issn = {0098-5589},
  publisher = {IEEE Press}
}

@ARTICLE{Parnas90,
  author = {David L. Parnas and A. John van Schouwen and Shu Po Kwan},
  title = {Evaluation of Safety-Critical Software},
  journal = {Communications of the ACM},
  year = {1990},
  volume = {33},
  pages = {636--648},
  number = {6},
  address = {New York, NY, USA},
  doi = {http://doi.acm.org/10.1145/78973.78974},
  issn = {0001-0782},
  publisher = {ACM Press}
}

@TECHREPORT{CMM11,
  author = {Mark C. Paulk and Bill Curtis and Mary Beth Chrissis and Charles
	V. Weber},
  title = {{C}apability {M}aturity {M}odel for Software, Version 1.1},
  institution = {Software Engineering Institute},
  year = {1996}
}

@ARTICLE{Royce70,
  author = {Winston W. Royce},
  title = {Managing the Development of Large Software Systems: Concepts and
	Techniques},
  year = {1970},
  pages = {1--9},
  booktitle = {IEEE WESCON},
  publisher = {IEEE Computer Society Press}
}

@ARTICLE{Ruff99,
  author = {Edward B. Ruff and Sonia Raquel Jurado},
  title = {The restatement (Third) of Torts and its effects on Products Liability
	law},
  journal = {Federation of Insurance \& Corporate Counsel Quarterly},
  year = {1999},
  volume = {Spring}
}

@ARTICLE{Ryan03,
  author = {Daniel J. Ryan and Carey Heckman},
  title = {Two Views on Security Software Liability: Let the Legal System Decide},
  journal = {IEEE Security and Privacy},
  year = {2003},
  volume = {1},
  pages = {70--72},
  number = {1},
  address = {Piscataway, NJ, USA},
  issn = {1540-7993},
  publisher = {IEEE Educational Activities Department}
}

@BOOK{Simon96,
  title = {The Sciences of the Artificial},
  publisher = {The MIT Press},
  year = {1996},
  author = {Herbert A. Simon}
}

@BOOK{Storey95,
  title = {Safety-Critical Computer Systems},
  publisher = {Addison-Wesley},
  year = {1996},
  author = {Neil Storey}
}

@INPROCEEDINGS{Subra96,
  author = {S. Subramanian and L. Elliott and R.V. Vishnuvajjala and W.T. Tsai
	and R. Mojdehbakhsh},
  title = {Fault Mitigation in Safety-Critical Software Systems},
  booktitle = {Proceedings Ninth IEEE Symposium on Computer-Based Medical Systems},
  year = {1996},
  pages = {12--17},
  address = {Ann Arbor, MI},
  month = {June}
}

@ARTICLE{Terry15,
  author = {Henry T. Terry},
  title = {Negligence},
  journal = {Harvard Law Review},
  year = {1915},
  volume = {29},
  pages = {40-54},
  number = {1},
  month = {Nov.}
}

@INPROCEEDINGS{Tsai98,
  author = {W.T. Tsai and R. Mojdehbakhsh and F. Zhu},
  title = {Ensuring System and Software Reliability in Safety-Critical Systems},
  booktitle = {IEEE Workshop on Application-Specific Software Engineering Technology},
  year = {1998},
  pages = {48--53},
  address = {Richardson, TX},
  month = {March}
}

@INPROCEEDINGS{Turner01,
  author = {Clark Savage Turner and Foaad Khosmood},
  title = {Rethinking Software Process: the Key to Negligence Liability},
  booktitle = {Proceedings of the IASTED Software Engineering and Applications Conference},
  year = {2001}
}

@INPROCEEDINGS{Turner00,
  author = {Clark Savage Turner and Debra J. Richardson},
  title = {Software and Strict Products Liability: Technical Challenges to Legal
	Notions of Responsibility},
  booktitle = {Proceedings of the IASTED International Conference on Law and Technology},
  year = {2000}
}

@TECHREPORT{Turner99,
  author = {Clark Savage Turner and Debra J. Richardson},
  title = {Software Defect Classes and No-fault Liability},
  institution = {University of California, Irvine},
  year = {1999},
  type = {UCI-ICS},
  number = {99-17},
  month = {April}
}

@INPROCEEDINGS{Turner96,
  author = {Clark Savage Turner and Debra J. Richardson and John L. King},
  title = {Legal Sufficiency of Testing Processes},
  booktitle = {Proceedings of the 15th International Conference on Computer Safety,
	Reliability and Security},
  year = {1996},
  month = {October},
  organization = {SAFECOMP},
  location = {Vienna, Austria}
}

@BOOK{Testing2005,
  title = {American Law of Products Liability},
  publisher = {Thomson/West},
  year = {2005},
  editor = {Timothy E. Travers},
  edition = {3},
  chapter = {11}
}

@BOOK{,
}

@MISC{IEEE-std-verif,
  title = {{IEEE} Standard for Software Verification and Validation},
  howpublished = {IEEE Std 1012-2004},
  month = {June},
  year = {2005}
}

@TECHREPORT{SECODE,
  title = {Software Engineering Code of Ethics and Professional Practice},
  institution = {ACM/IEEE-CS Joint Task Force on Software Engineering Ethics and Professional
	Practices},
  year = {1999},
  note = {Version 5.2},
  howpublished = {\verb!http://www.acm.org/serving/se/code.htm!}
}

@MISC{IEEE-glossary,
  title = {{IEEE} Standard Glossary for Software Engineering Terminology},
  howpublished = {IEEE Std 610.12-1990},
  month = {September},
  year = {1990}
}

@MISC{IEEE-std-unit,
  title = {{IEEE} Standard for Software Unit Testing},
  howpublished = {ANSI/IEEE Std 1008-1987},
  month = {July},
  year = {1986}
}

